Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
171	Chalmers University of Technology Pathways to Sustainable Energy Systems - to meet CO2 emission targets Filip Johnsson Department of Energy and Environment, Energy Add to Reading List Source URL: www.cces.ethz.ch Language: English - Date: 2009-02-24 09:11:52 Environment Fossil fuel Energy in Australia Plug-in hybrid Electric vehicle Bio-energy with carbon capture and storage Climate change mitigation Transport Energy economics Sustainability
172	AB Volvo Press release Volvo scholarship for research on why we travel the way we do Add to Reading List Source URL: www.vref.se Language: English - Date: 2015-02-23 04:02:57 Gothenburg Chalmers University of Technology Sweden Volvo Business Units Olof Persson Transport Volvo Hisingen
173	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
174	\mu Guidelines for Multilingual Software Development A compilation Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2012-08-06 09:10:16 Software University of Gothenburg Science Academia Knowledge Software engineering Chalmers University of Technology Software engineer
175	A Generic Abstract Syntax Model for Embedded Languages Emil Axelsson Chalmers University of Technology [removed] Abstract Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 14:56:42 Subroutines Recursion Control flow Data types Computability theory Eval Map Generic programming ECL programming language Software engineering Computing Computer programming
176	Climbing the Stairway to Heaven Towards Software Engineering As A Competitive Advantage Johan Carlsten and Jan Bosch Chalmers University of Technology Gothenburg, Sweden. Add to Reading List Source URL: www.swii.org Language: English - Date: 2014-09-23 14:56:34 Chalmers Onsala Space Observatory Chalmers Lindholmen University College Chalmers University of Technology Sweden Gothenburg
177	Seamful Design and Ubicomp Infrastructure Matthew Chalmers Computing Science University of Glasgow Glasgow, G12 8QQ, United Kingdom [removed] Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2003-08-13 18:30:38 User experience Mobile computing Adaptation Personal digital assistant Computing Technology Human–computer interaction Ubiquitous computing Ambient intelligence
178	VLBI and GNSS frequency link stabilities during CONT campaigns Rüdiger Haas1, Carsten Rieck2, Per Jarlemark2 (1) Chalmers University of Technology, Department of Earth and Space Sciences, Onsala Space Observatory, SE- 4 Add to Reading List Source URL: www.oan.es Language: English - Date: 2012-03-12 09:30:25 Radio telescopes Radio Satellite navigation systems Avionics Navigation Very Long Baseline Interferometry Onsala Space Observatory Global Positioning System Satellite navigation Technology Geodesy Measurement
179	NKG activities in EPN, IGEX, IGLOS … Lotti Jivall and Jan Johansson National Land Survey Onsala Space Observatory, Chalmers University of Technology Add to Reading List Source URL: epncb.oma.be Language: English - Date: 2012-05-08 11:23:34 Radio telescopes Onsala Space Observatory Regional Reference Frame Sub-Commission for Europe Onsala Riga Vilnius Baltic states EUREF Permanent Network Geography of Europe Europe Geodesy
180	An Overview of COST Action 716: Exploitation of Ground-Based GPS for Climate and Numerical Weather Prediction Analysis G. Elgered Chalmers University of Technology, Onsala Space Observatory, Sweden Add to Reading List Source URL: igscb.jpl.nasa.gov Language: English - Date: 2000-07-07 14:12:18 Meteorology Atmospheric thermodynamics Satellite navigation systems Avionics Geodesy GPS meteorology Global Positioning System Precipitable water Data assimilation Technology GPS Atmospheric sciences

UPDATE